Crate isotope[][src]

Expand description

isotope

isotope is an experimental interpreted programming language which implements a system of temporal dependent types. The main goal of this project is to experiemnt with design, ergonomics, and inference algorithms in the simpler setting of a fully interpreted language before moving on to the statically-compiled rain intermediate representation project.

Modules

ast

An AST for isotope expressions.

builder

A converter for isotope ASTs into in-memory representation

error

isotope errors

eval

Evaluation for isotope values

parser

A parser for isotope’s grammar. Generates an AST from input strings.

util

Utility functions

value

isotope values

Macros

forv

Perform the same action for every member of the ValueEnum

Type Definitions

Arc

The atomic reference counting type used by this library